/* debug.h -- header file for debug.c
 *
 * Time-stamp: <2007-06-03 06:10:17 BRT Diogo F. S. Ramos>
 *
 *
 */

/* Debug *************************************************************/
void debug();
/********************************************************************/
